Compiling Actions by Partial Evaluation, Revisited
نویسندگان
چکیده
منابع مشابه
Partial Evaluation of Computation Process, Revisited
A1: After graduating from the Department of Mathematics at Hokkaido University (in Sapporo) in 1965, I engaged in developing an interpreter and a compiler for Lisp 1.5 at Hitachi Central Research Laboratory. The work was done based only on McCarthy’s manual [12]. When I was implementing the compiler, I realized that I was just looking at the interpreter written in the manual. Then the idea that...
متن کاملCompiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation
A good evaluation function is needed for a good game program, and good features, which are primitive metrics of a state, are needed for a good evaluation function. In order to obtain good features, automatic generation of features by machine learning is promising. However, the generated features are usually written in logic programs, whose evaluation is much slower than that of other native exp...
متن کاملthe reason for compiling the manāqib(praiseworthy actions) of imam ali (a.s) by the shafi’ite scholars
explaining the virtues, merits and manāqib (praiseworthy actions) of imam ali (a.s) is not a task exclusive to his followers and adherents (namely the shi’a), but rather the scholars of the four sunni schools of law have extensively recounted the imam’s virtues, merits and manāqib, because of the high status of this matchless personality of the muslim world and due to their love and devotion to...
متن کاملCharacterisations of Crossed Products by Partial Actions
Partial actions of discrete groups on C∗-algebras and the associated crossed products have been studied by Exel and McClanahan. We characterise these crossed products in terms of the spectral subspaces of the dual coaction, generalising and simplifying a theorem of Exel for single partial automorphisms. We then use this characterisation to identify the Cuntz algebras and the Toeplitz algebras o...
متن کاملAssociativity of Crossed Products by Partial Actions, Enveloping Actions and Partial Representations
Given a partial action α of a group G on an associative algebra A, we consider the crossed product A α G. Using the algebras of multipliers, we generalize a result of Exel (1997) on the associativity of A α G obtained in the context of C∗-algebras. In particular, we prove that A αG is associative, provided that A is semiprime. We also give a criterion for the existence of a global extension of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1998
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v5i13.19285